Computer-aided reasoning : an approach
By: Kaufmann, Matt.
Contributor(s): Manolios, Panagiotis | Moore, J Strother.
Material type:
BookSeries: Adances in formal methods.Publisher: Boston: Kluwer Academic Publishers, 2000Description: xv, 270 p.; : 24 cm.ISBN: 0792377443 .Subject(s): Expert systems | Electronic data processing | Formal methods | Sotware engineering | Reasoning | Gaming | TheoremDDC classification: 004.0151
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 004.0151 KAU (Browse shelf) | Available | 015598 |
There are no comments for this item.